Hidden extras
نویسندگان
چکیده
منابع مشابه
Model checking propositional dynamic logic with all extras
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context-free programs. The algorithm shows that the model checking problem for PDL remains PTIME-complete in the presence of all these operators, in contrast to the high increase in complexity that they cause for the satisfia...
متن کاملEmancipatory knowing: Hidden necessity
Background & Aim: Knowledge patterns in nursing are key foundation elements for the development of knowledge and practice. Carper identified four fundamental knowledge patterns; empirical, personal, ethical and aesthetic. Chain and Kramer added the pattern of emancipatory knowledge to Carperchr('39')s patterns. The pattern of emancipatory knowledge in nursing has been neglected. The aim of this...
متن کاملEvaluating an extended rehabilitation service for stroke patients (EXTRAS): study protocol for a randomised controlled trial
BACKGROUND Development of longer term stroke rehabilitation services is limited by lack of evidence of effectiveness for specific interventions and service models. We describe the protocol for a multicentre randomised controlled trial which is evaluating an extended stroke rehabilitation service. The extended service commences when routine 'organised stroke care' (stroke unit and early supporte...
متن کاملSatellite Test of the Isotrophy of the One-Way Speed of Light Using EXTRAS
A test of the s e d postdate of special relativity, the universality of the speed of light, w i n g the EXTRAS (Experiment on Timing Ranging and Atnwspheric Sounding) payload to be flown en board a Russian Meteor-SM satellite (launch date January 1997) is proposed. The propagation time of a light signal transmitted from one point to another without remction would be measured directly by compari...
متن کاملPerceptions of Low-Cost Carriers' Compliance with EU Legislation on Optional Extras
Low cost carriers (LCCs) market their flights as low cost and so, aim to garner as much additional revenue as possible from ancillary services such as baggage and priority boarding. The airlines therefore encourage purchase of these services by their customers. As a result of this and other practices by airlines, the European Union has introduced legislation to deal with various areas of concer...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BMJ
سال: 2007
ISSN: 0959-8138,1468-5833
DOI: 10.1136/bmj.39153.595660.59